Inhalt des Dokuments

Forschung

Artikel akzeptiert (TASE 2011)

Samstag, 07. Mai 2011

Artikel "Java goes TLA+" akzeptiert für die 5th IEEE International Conference on Theoretical Aspects of Software Engineering (Co-Autoren Hannes Lau, Uwe Nestmann)

---